Optimal. Leaf size=231 \[ -\frac{\sqrt{a+b x+c x^2} \left (-12 a A c-4 a b B+5 A b^2\right )}{2 a^2 x^2 \left (b^2-4 a c\right )}-\frac{\sqrt{a+b x+c x^2} \left (4 a B \left (3 b^2-8 a c\right )-A \left (15 b^3-52 a b c\right )\right )}{4 a^3 x \left (b^2-4 a c\right )}-\frac{3 \left (-4 a A c-4 a b B+5 A b^2\right ) \tanh ^{-1}\left (\frac{2 a+b x}{2 \sqrt{a} \sqrt{a+b x+c x^2}}\right )}{8 a^{7/2}}+\frac{2 \left (c x (A b-2 a B)-2 a A c-a b B+A b^2\right )}{a x^2 \left (b^2-4 a c\right ) \sqrt{a+b x+c x^2}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.200162, antiderivative size = 231, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 5, integrand size = 23, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.217, Rules used = {822, 834, 806, 724, 206} \[ -\frac{\sqrt{a+b x+c x^2} \left (-12 a A c-4 a b B+5 A b^2\right )}{2 a^2 x^2 \left (b^2-4 a c\right )}-\frac{\sqrt{a+b x+c x^2} \left (4 a B \left (3 b^2-8 a c\right )-A \left (15 b^3-52 a b c\right )\right )}{4 a^3 x \left (b^2-4 a c\right )}-\frac{3 \left (-4 a A c-4 a b B+5 A b^2\right ) \tanh ^{-1}\left (\frac{2 a+b x}{2 \sqrt{a} \sqrt{a+b x+c x^2}}\right )}{8 a^{7/2}}+\frac{2 \left (c x (A b-2 a B)-2 a A c-a b B+A b^2\right )}{a x^2 \left (b^2-4 a c\right ) \sqrt{a+b x+c x^2}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 822
Rule 834
Rule 806
Rule 724
Rule 206
Rubi steps
\begin{align*} \int \frac{A+B x}{x^3 \left (a+b x+c x^2\right )^{3/2}} \, dx &=\frac{2 \left (A b^2-a b B-2 a A c+(A b-2 a B) c x\right )}{a \left (b^2-4 a c\right ) x^2 \sqrt{a+b x+c x^2}}-\frac{2 \int \frac{\frac{1}{2} \left (-5 A b^2+4 a b B+12 a A c\right )-2 (A b-2 a B) c x}{x^3 \sqrt{a+b x+c x^2}} \, dx}{a \left (b^2-4 a c\right )}\\ &=\frac{2 \left (A b^2-a b B-2 a A c+(A b-2 a B) c x\right )}{a \left (b^2-4 a c\right ) x^2 \sqrt{a+b x+c x^2}}-\frac{\left (5 A b^2-4 a b B-12 a A c\right ) \sqrt{a+b x+c x^2}}{2 a^2 \left (b^2-4 a c\right ) x^2}+\frac{\int \frac{\frac{1}{4} \left (4 a B \left (3 b^2-8 a c\right )-4 A \left (\frac{15 b^3}{4}-13 a b c\right )\right )-\frac{1}{2} c \left (5 A b^2-4 a b B-12 a A c\right ) x}{x^2 \sqrt{a+b x+c x^2}} \, dx}{a^2 \left (b^2-4 a c\right )}\\ &=\frac{2 \left (A b^2-a b B-2 a A c+(A b-2 a B) c x\right )}{a \left (b^2-4 a c\right ) x^2 \sqrt{a+b x+c x^2}}-\frac{\left (5 A b^2-4 a b B-12 a A c\right ) \sqrt{a+b x+c x^2}}{2 a^2 \left (b^2-4 a c\right ) x^2}-\frac{\left (4 a B \left (3 b^2-8 a c\right )-A \left (15 b^3-52 a b c\right )\right ) \sqrt{a+b x+c x^2}}{4 a^3 \left (b^2-4 a c\right ) x}+\frac{\left (3 \left (5 A b^2-4 a b B-4 a A c\right )\right ) \int \frac{1}{x \sqrt{a+b x+c x^2}} \, dx}{8 a^3}\\ &=\frac{2 \left (A b^2-a b B-2 a A c+(A b-2 a B) c x\right )}{a \left (b^2-4 a c\right ) x^2 \sqrt{a+b x+c x^2}}-\frac{\left (5 A b^2-4 a b B-12 a A c\right ) \sqrt{a+b x+c x^2}}{2 a^2 \left (b^2-4 a c\right ) x^2}-\frac{\left (4 a B \left (3 b^2-8 a c\right )-A \left (15 b^3-52 a b c\right )\right ) \sqrt{a+b x+c x^2}}{4 a^3 \left (b^2-4 a c\right ) x}-\frac{\left (3 \left (5 A b^2-4 a b B-4 a A c\right )\right ) \operatorname{Subst}\left (\int \frac{1}{4 a-x^2} \, dx,x,\frac{2 a+b x}{\sqrt{a+b x+c x^2}}\right )}{4 a^3}\\ &=\frac{2 \left (A b^2-a b B-2 a A c+(A b-2 a B) c x\right )}{a \left (b^2-4 a c\right ) x^2 \sqrt{a+b x+c x^2}}-\frac{\left (5 A b^2-4 a b B-12 a A c\right ) \sqrt{a+b x+c x^2}}{2 a^2 \left (b^2-4 a c\right ) x^2}-\frac{\left (4 a B \left (3 b^2-8 a c\right )-A \left (15 b^3-52 a b c\right )\right ) \sqrt{a+b x+c x^2}}{4 a^3 \left (b^2-4 a c\right ) x}-\frac{3 \left (5 A b^2-4 a b B-4 a A c\right ) \tanh ^{-1}\left (\frac{2 a+b x}{2 \sqrt{a} \sqrt{a+b x+c x^2}}\right )}{8 a^{7/2}}\\ \end{align*}
Mathematica [A] time = 0.303499, size = 214, normalized size = 0.93 \[ \frac{3 \left (b^2-4 a c\right ) \left (-4 a A c-4 a b B+5 A b^2\right ) \tanh ^{-1}\left (\frac{2 a+b x}{2 \sqrt{a} \sqrt{a+x (b+c x)}}\right )-\frac{2 \sqrt{a} \left (a^2 \left (4 B x \left (-b^2+10 b c x+8 c^2 x^2\right )-2 A \left (b^2+10 b c x-12 c^2 x^2\right )\right )+8 a^3 c (A+2 B x)-a b x \left (A \left (-5 b^2+62 b c x+52 c^2 x^2\right )+12 b B x (b+c x)\right )+15 A b^3 x^2 (b+c x)\right )}{x^2 \sqrt{a+x (b+c x)}}}{8 a^{7/2} \left (4 a c-b^2\right )} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.01, size = 506, normalized size = 2.2 \begin{align*} -{\frac{A}{2\,a{x}^{2}}{\frac{1}{\sqrt{c{x}^{2}+bx+a}}}}+{\frac{5\,Ab}{4\,{a}^{2}x}{\frac{1}{\sqrt{c{x}^{2}+bx+a}}}}+{\frac{15\,A{b}^{2}}{8\,{a}^{3}}{\frac{1}{\sqrt{c{x}^{2}+bx+a}}}}-{\frac{15\,A{b}^{3}xc}{4\,{a}^{3} \left ( 4\,ac-{b}^{2} \right ) }{\frac{1}{\sqrt{c{x}^{2}+bx+a}}}}-{\frac{15\,A{b}^{4}}{8\,{a}^{3} \left ( 4\,ac-{b}^{2} \right ) }{\frac{1}{\sqrt{c{x}^{2}+bx+a}}}}-{\frac{15\,A{b}^{2}}{8}\ln \left ({\frac{1}{x} \left ( 2\,a+bx+2\,\sqrt{a}\sqrt{c{x}^{2}+bx+a} \right ) } \right ){a}^{-{\frac{7}{2}}}}+13\,{\frac{Ab{c}^{2}x}{{a}^{2} \left ( 4\,ac-{b}^{2} \right ) \sqrt{c{x}^{2}+bx+a}}}+{\frac{13\,A{b}^{2}c}{2\,{a}^{2} \left ( 4\,ac-{b}^{2} \right ) }{\frac{1}{\sqrt{c{x}^{2}+bx+a}}}}-{\frac{3\,Ac}{2\,{a}^{2}}{\frac{1}{\sqrt{c{x}^{2}+bx+a}}}}+{\frac{3\,Ac}{2}\ln \left ({\frac{1}{x} \left ( 2\,a+bx+2\,\sqrt{a}\sqrt{c{x}^{2}+bx+a} \right ) } \right ){a}^{-{\frac{5}{2}}}}-{\frac{B}{ax}{\frac{1}{\sqrt{c{x}^{2}+bx+a}}}}-{\frac{3\,bB}{2\,{a}^{2}}{\frac{1}{\sqrt{c{x}^{2}+bx+a}}}}+3\,{\frac{B{b}^{2}cx}{{a}^{2} \left ( 4\,ac-{b}^{2} \right ) \sqrt{c{x}^{2}+bx+a}}}+{\frac{3\,{b}^{3}B}{2\,{a}^{2} \left ( 4\,ac-{b}^{2} \right ) }{\frac{1}{\sqrt{c{x}^{2}+bx+a}}}}+{\frac{3\,bB}{2}\ln \left ({\frac{1}{x} \left ( 2\,a+bx+2\,\sqrt{a}\sqrt{c{x}^{2}+bx+a} \right ) } \right ){a}^{-{\frac{5}{2}}}}-8\,{\frac{B{c}^{2}x}{a \left ( 4\,ac-{b}^{2} \right ) \sqrt{c{x}^{2}+bx+a}}}-4\,{\frac{Bcb}{a \left ( 4\,ac-{b}^{2} \right ) \sqrt{c{x}^{2}+bx+a}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 6.99678, size = 1863, normalized size = 8.06 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.47584, size = 630, normalized size = 2.73 \begin{align*} -\frac{2 \,{\left (\frac{{\left (B a^{4} b^{2} c - A a^{3} b^{3} c - 2 \, B a^{5} c^{2} + 3 \, A a^{4} b c^{2}\right )} x}{a^{6} b^{2} - 4 \, a^{7} c} + \frac{B a^{4} b^{3} - A a^{3} b^{4} - 3 \, B a^{5} b c + 4 \, A a^{4} b^{2} c - 2 \, A a^{5} c^{2}}{a^{6} b^{2} - 4 \, a^{7} c}\right )}}{\sqrt{c x^{2} + b x + a}} - \frac{3 \,{\left (4 \, B a b - 5 \, A b^{2} + 4 \, A a c\right )} \arctan \left (-\frac{\sqrt{c} x - \sqrt{c x^{2} + b x + a}}{\sqrt{-a}}\right )}{4 \, \sqrt{-a} a^{3}} + \frac{4 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x + a}\right )}^{3} B a b - 7 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x + a}\right )}^{3} A b^{2} + 4 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x + a}\right )}^{3} A a c + 8 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x + a}\right )}^{2} B a^{2} \sqrt{c} - 8 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x + a}\right )}^{2} A a b \sqrt{c} - 4 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x + a}\right )} B a^{2} b + 9 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x + a}\right )} A a b^{2} + 4 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + b x + a}\right )} A a^{2} c - 8 \, B a^{3} \sqrt{c} + 16 \, A a^{2} b \sqrt{c}}{4 \,{\left ({\left (\sqrt{c} x - \sqrt{c x^{2} + b x + a}\right )}^{2} - a\right )}^{2} a^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]